$\exists$$e$$\in$($e_{1}$,$e_{2}$].$P$($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$e$:E. ($e_{1}$ $<$loc $e$) \& $e$ $\leq$ $e_{2}$  \& $P$($e$)